Nuprl Lemma : decidable__q-constraints-opt
11,40
postcript
pdf
k
:
,
A
:((
:(
)
) List). Dec(
y
:
List. q-constraints(
k
;
A
;
y
))
latex
Definitions
t
T
,
decidable
q-constraints
cv
Lemmas
decidable
q-constraints
cv
origin
k:
, A:((:(
) 
) List). Dec(
y: List. q-constraints(k;A;y)) k:, A:((:() ) List). Dec(y: List. q-constraints(k;A;y)) 
T